-
1 proof by enumeration
Большой англо-русский и русско-английский словарь > proof by enumeration
-
2 proof by enumeration
Математика: доказательство путём перебора вариантов -
3 proof by enumeration
English-Russian electronics dictionary > proof by enumeration
-
4 proof by enumeration
The New English-Russian Dictionary of Radio-electronics > proof by enumeration
-
5 proof by enumeration
Англо-русский словарь по исследованиям и ноу-хау > proof by enumeration
-
6 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
7 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
8 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
9 доказательство путём анализа
Russian-English Dictionary "Microeconomics" > доказательство путём анализа
-
10 доказательство путём перебора вариантов
Mathematics: proof by enumerationУниверсальный русско-английский словарь > доказательство путём перебора вариантов
-
11 premier
premier, -ière1 [pʀəmje, jεʀ]1. adjective• arriver/être premier to arrive/be firstc. ( = de base) [échelon, grade] bottom ; [ébauche, projet] first• quel est votre premier prix pour ce type de voyage ? what do your prices start at for this kind of trip?d. ( = originel, fondamental) [cause, donnée, principe] basic ; [objectif] primary ; [état] initial, original2. masculine noun, feminine nouna. (dans le temps, l'espace) first• parler/passer/sortir le premier to speak/go/go out first• elle fut l'une des premières à... she was one of the first to...b. (dans une hiérarchie, un ordre) il a été reçu dans les premiers he was in the top fewc. (dans une série, une comparaison) Pierre et Paul sont cousins, le premier est médecin Peter and Paul are cousins, the former is a doctor3. masculine nouna. first• c'est leur premier ( = enfant) it's their first child• mon premier est... (charade) my first is in...► en premier [arriver, parler] first• pour lui, la famille vient toujours en premier his family always comes first4. compounds* * *
1.
- ière pʀəmje, ɛʀ adjectif1) ( dans le temps) first2) ( dans l'espace) first3) ( dans une série) first‘livre premier’ — ‘book one’
Napoléon Ier — Napoleon I, Napoleon the First
4) ( dans une hiérarchie) [artiste, écrivain, puissance] leading; [élève, étudiant] topêtre premier — [élève, étudiant] to be top; [coureur] to be first
nos premiers prix or tarifs — ( pour voyages) our cheapest holidays GB ou package tours US; ( pour billets) our cheapest tickets
5) ( originel) [impression] first, initial; [éclat] initial; [aspect] original6) ( essentiel) [qualité] prime; [objectif, conséquence] primary7) Philosophie [terme, notion, donnée] fundamental; [vérité, principe] first
2.
nom masculin, féminin1) ( dans le temps) first2) ( dans une énumération) firstle premier de mes fils — ( sur deux fils) my elder son; ( sur plus de deux fils) my eldest son
3) ( dans un classement)arriver le premier — [coureur] to come first
être le premier de la classe — [élève] to be top of the class
3.
nom masculin1) ( dans un bâtiment) first floor GB, second floor US2) ( jour du mois) first3) ( arrondissement) first arrondissement
4.
en premier locution adverbiale
5.
de première (colloq) locution adjective first-ratec'est de première — it's first-class ou first-rate
Phrasal Verbs:* * *pʀəmje, jɛʀ (-ière)1. adj1) (dans le temps) firstC'est notre premier jour de vacances depuis Noël. — It's our first day off since Christmas.
C'est la première fois que je viens ici. — It's the first time I've been here.
du premier coup — at the first attempt, at the first go
Il est arrivé premier. — He came first., He was the first to arrive.
2) (du bas) (branche, marche, grade) lowest, bottomau premier étage — on the first floor Grande-Bretagne on the second floor USA
3) (en importance) firstde premier ordre — first-class, first-rate
de première qualité; de premier choix — best quality, top quality
4) (= fondamental) basic5)le Premier ministre — the Prime Minister, the Premier, the Premier of Queensland, the Queensland Premier
2. nm1) (= premier étage) first floor Grande-Bretagne second floor USA2) (= personne)3) (= jour)4)3. nf1) (= personne)2) AUTOMOBILES (= vitesse) first, first gear3) CHEMINS DE FER, AVIATION (= classe) first class4) ÉDUCATION (= classe) Year 12sixth year of secondary school (age 16-17)5) [spectacle] THÉÂTRE first night, CINÉMA première6) (chose faite pour la première fois) first* * *A adj1 ( qui commence une série) [habitant, emploi, automobile, symptôme] first; Adam fut le premier homme Adam was the first man; c'est la première fois que je viens ici this is the first time I've been here; la première et la dernière fois the first and last time; les premiers temps de the initial period of; (dans) les premiers temps tout allait bien at first things went well;2 ( qui précède dans l'espace) [porte, rue, visage, carrefour] first; les trois premières rues the first three streets; les premières marches (de l'escalier) the first few steps;3 ( dans une série) [numéro, chapitre, mot, candidat] first; première personne du singulier/du pluriel first person singular/plural; le premier janvier/juin the first of January/of June; article premier du code pénal first article of the penal code; ‘livre premier’ ‘book one’; Napoléon Ier Napoleon I ou the First; Elisabeth Ire Elizabeth I ou the First;4 ( par sa supériorité) [artiste, écrivain, producteur, puissance] leading; [élève, étudiant] top; le premier producteur mondial de vin the world's leading wine producer; être premier [élève, étudiant] to be top; [coureur] to be first; il est premier en physique he's top in physics; terminer or arriver premier [coureur] to come first; une affaire de première importance/urgence a matter of the utmost importance/urgency; article de première nécessité an absolutely essential item;5 ( par son infériorité) [billet, ticket, place] cheapest; nos premiers prix or tarifs ( pour voyages) our cheapest holidays GB ou package tours US; ( pour billets) our cheapest tickets;6 ( originel) [impression] first, initial; [vivacité, éclat] initial; [aspect] original; recouvrer sa santé première to recover one's health;B nm,f1 ( qui se présente d'abord) first; vous êtes le premier à me le dire you are the first to tell me; il est toujours le premier à se plaindre he's always the first to complain; sortir le premier to go out first; arriver le premier, arriver les premiers to arrive first; les premiers arrivés seront les premiers servis first come, first served;2 ( dans une énumération) first; je préfère le premier I prefer the first one; le premier de mes fils ( sur deux fils) my elder son; ( sur plus de deux fils) my eldest son;3 ( dans un classement) arriver le premier [coureur] to come first; être le premier de la classe [élève] to be top of the class; il est le premier en latin he's top in Latin.C nm1 ( dans un bâtiment) first floor GB, second floor US; monter/descendre au premier to go up/to go down to the first GB ou second US floor; habiter au premier to live on the first GB ou second US floor;2 ( jour du mois) first; être payé tous les premiers du mois to be paid on the first of every month; le premier de l'an New Year's Day;3 ( arrondissement) first arrondissement; habiter dans le premier to live in the first arrondissement;4 ( dans une charade) first; mon premier est my first is.D en premier loc adv faire qch en premier to do sth first; faire passer son travail en premier to put one's work first; recourir à l'arme nucléaire en premier to resort to nuclear weapons in the first instance; citons en premier le livre de notre collègue first of all there's our colleague's book; il faut en premier baisser l'impôt sur les bénéfices first of all it is necessary to reduce taxes on profits.E première nf1 (événement important, exploit) first; première mondiale world first;4 Aut first (gear); être en première to be in first (gear); passer la première to go into first (gear); rouler en première to drive in first (gear);5 ○ Rail, Aviat first class; voyager en première to travel first class; un billet de première a first-class ticket;6 ( couturière dirigeant un atelier) head seamstress;7 ( en alpinisme) first ascent; premier solitaire first solo-ascent;8 ( dans une chaussure) insole.premier âge [produits, vêtements] for babies up to six months ( après n); premier clerc chief clerk; premier communiant boy making his first communion; premier de cordée leader; premier danseur leading dancer; premier jet first ou rough draft; premier maître intermediate rank between chief petty officer and fleet chief petty officer GB, ≈ master chief petty officer US; premier ministre prime minister; premier secrétaire (d'un parti, organisme) first secretary; premier venu just anybody; elle s'est jetée dans les bras du premier venu she threw herself into the arms of the first man to come along; premier violon Mus first violin, leader; première classe Mil ≈ private; première communiante Relig girl making her first communion; première communion Relig first communion; première épreuve Imprim first proof; première nouvelle! that's the first I've heard about it; premiers secours first aid ¢.ⓘ Premier ministre The chief minister of the government, appointed by the Président de la République and responsible for the overall management of government affairs.1. (souvent avant le nom) [initial] earlyles premiers temps at the beginning, early on2. [proche] neareston s'est arrêtés dans le premier hôtel venu we stopped at the first hotel we came to ou happened to come to4. [dans une série] firstà la première heure first thing, at first lightdans un premier temps (at) first, to start with, to begin withil a fait ses premières armes à la "Gazette du Nord" he cut his teeth at the "Gazette du Nord"j'ai fait mes premières armes dans le métier comme apprenti cuisinier I started in the trade as a cook's apprenticepremier jet (first) ou rough ou initial drafta. [personnes et matériel] emergency servicesb. [soins] first aida. [généralement] first partb. [au spectacle] opening act5. [principal] mainde (toute) première nécessité/urgence (absolutely) essential/urgentc'est vous le premier intéressé you're the main person concerned ou the one who's got most at stakesortir premier d'une Grande école to be first on the pass list (in the final exam of a Grande école)l'idée première était de... the original idea was to...8. [spontané] firstson premier mouvement his first ou spontaneous impulse9. (après le nom) [fondamental] firstMATHÉMATIQUES [nombre] prime[polynôme] irreducibleprincipe premier first ou basic principle10. [moindre]et ta récitation, tu n'en connais pas le premier mot! you haven't a clue about your recitation, have you?la robe coûte 400 euros et je n'en ai pas le premier sou the dress costs 400 euros and I haven't a penny (UK) ou cent (US) to my name11. GRAMMAIREpremière personne du singulier/pluriel first person singular/pluralvoir aussi link=pluriel pluriel12. CUISINEcôte/côtelette première prime rib/cutlet————————, première [prəmje, ɛr] nom masculin, nom féminin1. [personne]elle est la première de sa classe/au hit-parade she's top of her class/the charts2. [chose]3. [celui-là]plantez des roses ou des tulipes, mais les premières durent plus longtemps plant roses or tulips, but the former last longervoir aussi link=cinquième cinquième————————nom masculin1. [dans une charade]3. [dans des dates]Aix, le premier juin Aix, June 1stle premier avril April Fool's ou All Fools Dayle premier janvier ou de l'an New Year's Day————————première nom féminin2. [exploit]être/passer en première to be in/to go into firstbillet/wagon de première first-class ticket/carriage8. IMPRIMERIE [épreuve] first proof[édition - d'un livre] first edition ; [ - d'un journal] early edition9. [d'une chaussure] insole————————de première locution adjectivale————————en premier locution adverbialepremier de cordée nom masculin————————premier degré nom masculin2. [phase initiale] first step3. (figuré)————————premier prix nom masculin1. COMMERCE lowest ou cheapest pricedans les premiers prix at the cheaper ou lower end of the scale2. [récompense] first prize -
12 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
13 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
14 युक्ति
yuktif. union, junction, connection, combination AitBr. TāṇḍBr. ;
preparation, going to, making ready for (loc. orᅠ comp.) R. ;
application, practice, usage Kathās. Suṡr. ;
trick, contrivance, means, expedient, artifice, cunning device, magic Kāv. Kathās. Pañcar. ( yuktiṉ-kṛi, to find out orᅠ employ an expedient;
yukti ibc.;
- tyā, - tibhis, andᅠ - ti-tas ind. by device orᅠ stratagem, artfully, skilfully, under pretext orᅠ pretence;
yuktyā etc. ifc. = by means of);
reasoning, argument, proof, influence, induction, deduction from circumstances Kap. Kāv. Var. etc. (- tas, by means of an argument);
reason, ground, motive BhP. MārkP. ;
suitableness, adaptedness, fitness, propriety, correctness MBh. Kāv. etc. ( yuktyā andᅠ - ti-tas, properly, suitably, fitly, justly, duly);
meditation on the supreme being, contemplation, union with the universal spirit Ṡaṃk. (cf. IW. 111, 3);
(in law) enumeration of circumstances, specification of place andᅠ time etc. Yājñ. II, 92; 212 ;
(in rhet.) emblematic orᅠ mystical expression of purpose W. ;
(in dram.) connection of the events in a plot, concatenation of incidents, intelligent weighing of the circumstances Daṡar. Sāh. Pratāp. ;
(in astron.) conjunction Jyot. ;
(in gram.) connection of words, a sentence Nir. ;
connection of letters Vishṇ. ;
supplying an ellipsis W. ;
mixture orᅠ alloying of metals VarBṛS. ;
sum, total Sūryas. ;
- युक्तिकथन
- युक्तिकर
- युक्तिकल्पतरु
- युक्तिकृत
- युक्तिज्ञ
- युक्तितस्
- युक्तिदीपिका
- युक्तिप्रकाश
- युक्तिबाह्य
- युक्तिभाषा
- युक्तिमत्
- युक्तिमल्लिका
- युक्तिमालिका
- युक्तिमुक्तावली
- युक्तियुक्त
- युक्तिरत्नमाला
- युक्तिशास्त्र
- युक्तिस्नेहप्रपूरणी
- युगकीलक
- युगक्षय
- युगचर्मन्
- युगदीर्घ
- युगधार
- युगधुर्
- युगंधर
- युगप
- युगपत्त्र
- युगपत्त्रक
- युगपद्
- युगपार्श्वक
- युगपार्श्वग
- युगपुराण
- युगप्रधानस्वरूप
- युगप्रधानपट्टावलीसूत्र
- युगप्रमाण
- युगबाहु
- युगभङ्ग
- युगमात्र
- युगवरत्र
- युगव्यायतबाहु
- युगव्यावत्
- युगशम्य
- युगशरम्
- युगसंवत्सर
- युगसहस्राय
-
15 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
16 procedure
1) мероприятие2) метод; методика4) операция5) компьют. подпрограмма6) процедура, порядок выполнения7) процесс• -
17 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule
См. также в других словарях:
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Combinatorial proof — In mathematics, the term combinatorial proof is often used to mean either of two types of proof of an identity in enumerative combinatorics that either states that two sets of combinatorial configurations, depending on one or more parameters,… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Elementary proof — In mathematics a proof is said to be elementary if it avoids difficult ideas from distant areas of mathematics. For example, the term is used in number theory to refer to proofs that make no use of complex analysis. An elementary proof in… … Wikipedia
combinatorics — /keuhm buy neuh tawr iks, tor , kom beuh /, n. (used with singular v.) See combinatorial analysis. * * * Branch of mathematics concerned with the selection, arrangement, and combination of objects chosen from a finite set. The number of possible… … Universalium
C++11 — C++11, also formerly known as C++0x,[1] is the name of the most recent iteration of the C++ programming language, replacing C++TR1, approved by the ISO as of 12 August 2011.[2] The name is derived from the tradition of naming language versions by … Wikipedia
C++0x — is the planned new standard for the C++ programming language. It is intended to replace the existing C++ standard, ISO/IEC 14882, which was published in 1998 and updated in 2003. These predecessors are informally known as C++98 and C++03. The new … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
MAIMONIDES, MOSES — (Moses ben Maimon; known in rabbinical literature as Rambam ; from the acronym Rabbi Moses Ben Maimon; 1135–1204), rabbinic authority, codifier, philosopher, and royal physician. BIOGRAPHY The most illustrious figure in Judaism in the post… … Encyclopedia of Judaism